Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 17 Nov 2020 16:04:03 +0000 (16:04 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 17 Nov 2020 16:04:03 +0000 (16:04 +0000)
Introspection fixes

Closes #3281

See merge request GNOME/gtk!2852


Trivial merge